Stochastic Process
HW9
如有错误,烦请指正.
一
1
.assets/image-20231115153658945.png)
错误. 若随机过程 是强度为 的 Poisson 过程,则 与 有关不为常数,不符合平稳过程的条件.
正确.
正确. 若 Markov 链是有限状态,则它一定有正常返态.
.assets/image-20231115154511131.png)
又因为其不存在平稳分布的充分必要条件是不存在正常返状态的不可约闭集,该 Markov 链一定存在平稳分布.
.assets/image-20231115154705409.png)
错误. 只是有概率停留在这个状态. (可能有其它的吸收态,等等.)
正确. To be added.
2
.assets/image-20231115154912215.png)
见 HW3.
第一问:所有车辆的达到过程为强度为 的 Poisson 过程,则这个过程的第一次事件的等待时间 . 注意到单位时间为 分钟,则第一辆车的到达的平均时间为 分钟.
第二问:记红、银、白车的达到过程分别为 ,非白车的到达过程为 ,则 是强度为 的 Poisson 过程, 是强度为 的 Poisson 过程.
方法 1:所求时间即为 , 为 的第一次时间的等待时间. 记 ,则 . 此时,
下面先求 . 记第一辆白车到达的时间为 ,则事件"第一辆白车到达前恰好有 辆非白车到达",即
发生当且仅当
发生. 所以
又因为 ,
方法 2:考虑已知有 辆车到达,其为白车/非白车的概率.
事件“第一辆车为白车”发生当且仅当“第一辆白车比第一辆非白车先到”.
设 分别为 第一次事件的到达时刻,则
即已知有一辆车到来,白车概率为 ,非白车概率为 .
根据增量独立性,第 辆车到来的条件下,前 辆车为非白车,第 辆车为白车的概率为
3
.assets/image-20231115164450751.png)
有理谱密度:由谱密度是 的非负实值偶函数知, 形如
式中 . 又由于 ,故 应在 上可积,从而 的分母不能有实根,分母多项式次数至少应比分子高 以及 .
A.
符合条件;
B.
分母有实根,不符合条件;
C.
不是实值函数,不符合条件;
D.
不是非负函数,不符合条件.
4
.assets/image-20231115165846212.png)
为避免混淆,记实平稳过程 的自相关函数为
而其协方差函数记为 .
考虑自相关函数
关于 的极限. 因为 时 与 相互独立,所以
注意到 为平稳过程,其期望为常数,记为 ,则
又因为 ,得 .
再考虑 的协方差函数
方差为
5
.assets/image-20231115170826041.png)
6
.assets/image-20231115171940380.png)
A. 错误. 若 是 Poisson 过程,则它是平稳独立增量过程;但反之不一定.
B. 正确. Markov 过程的定义.
C. 错误. 如其为一 Poisson 过程.
D. 错误. 根据严平稳过程的定义,如果它的均值函数 存在,则必为常数,即 . 于是与 C 同理可得.
二
.assets/image-20231115173039234.png)
.assets/image-20231115173055774.png)
记第 个顾客的服务时间为 ,则 ,且 . 所以 是强度为 的 Poisson 过程.
(1)
记上午 8:00 为 时刻,则上午 12:00 时为 .
因为
所以
又 ,
即上午 8:00 到 12:00 的平均服务顾客数为 12.
(2)
在上午 8:00 为 时刻的条件下,“顾客停留的时间”应当为“顾客的等待时间”. 记第 个顾客的等待时间为 ,则 . 设长为 的时间内共服务了 个顾客,则 . 所求为
先算条件期望. 因为在给定 的条件下, 的联合密度是与 上均匀分布中随机样本 的次序统计量 的联合密度是一样的,所以
所以()
即这段时间内服务完的顾客停留的平均时间为 分钟.
三
.assets/image-20231115182223980.png)
初始状态为 .
(1)
第一个季度后三种牛奶的市场占有率向量为
第二个季度后(半年后)三种牛奶的市场占有率向量为
(2)
(3)
该 Markov 链是不可约的遍历链,则它存在唯一的极限分布,且此时的极限分布就是平稳分布,即
求解平稳分布:解方程组
得
四
.assets/image-20231115191506758.png)
(1)
若 ,则 . 所以,
(2)
有 个等价类,. 它们都是非周期的. 除 外的等价类都是非常返(瞬过)的, 是正常返的.
(3)
状态 的平均返回时间
因为状态 是非周期、正常返的,所以是遍历态,所以
因为状态 是非周期的,所以
所以极限分布存在,且为
五
.assets/image-20231115195027944.png)
记
则
当 时,由 Wiener-Khintchine 公式,
借助留数定理,积分
其中 是复有理函数 在上半平面内的全部极点,且都是一级极点.
对某个一级极点 ,
所以,
所以,
因为 是关于 的偶函数,所以
六
.assets/image-20231115201810058.png)
(1)
.
的均值函数
为常数;
协方差函数
只与时间差 有关,记为
方差
二阶矩
存在.
所以 是平稳过程.
| | |
---|
| | |
| | |
| | |
(2)
考虑极限
所以 有均值遍历性.